print {(1,3):'OK'}[(1,3)]
